三次元関数の容姿(完) 補外法――高精度の計算に必要なリチャードソン型補外法の考え方や性質を調べる